# -*- mode: snippet -*-
# name: Obligation Tactic
# --
Obligation Tactic := $1.
